Formal Verification – alle Bücher

Ihre Suche nach "formal verification" ergab 3 Treffer

Alireza Mahzoon, Rolf Drechsler, Daniel Große

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Sanjay

The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

"The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 28,19*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb